Skip to content

Merge main into bugfixes-and-improvements - #18

Merged
oso95 merged 10 commits into
mainfrom
bugfixes-and-improvements
Mar 13, 2026
Merged

Merge main into bugfixes-and-improvements#18
oso95 merged 10 commits into
mainfrom
bugfixes-and-improvements

Conversation

@oso95

@oso95 oso95 commented Mar 13, 2026

Copy link
Copy Markdown
Owner

Summary

  • merge the latest \ into this branch and resolve the workspace/docs conflicts
  • preserve the hidden-session, tab-grouping, per-session shell, and split-resize behavior while keeping the newer workspace module split from \
  • refresh the workspace architecture docs to match the merged structure

Verification

  • cargo clean
  • cargo fmt --all -- --check
  • cargo check --workspace --all-targets --all-features
  • cargo build --workspace --all-features
  • cargo test --all --all-targets --all-features
  • cargo clippy --all --all-targets --all-features -- -D warnings
  • cargo check -p codirigent-ui --features gpui-full

@oso95
oso95 merged commit 013c6a2 into main Mar 13, 2026
5 checks passed
@oso95
oso95 deleted the bugfixes-and-improvements branch March 13, 2026 12:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant